Sfoglia per Rivista RAIRO. INFORMATIQUE THEORIQUE ET APPLICATIONS
Mostra risultati da 2 a 4 di 4
Logic and Functional Programming by Retraction: Operational Semantics
1988-01-01 Bellia, Marco
Logic and Functional Programming by Retractions
1988-01-01 Bellia, Marco
Rewriting on cyclic structures: Equivalence between the operational and the categorical description
1999-01-01 Corradini, Andrea; Gadducci, Fabio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Logic and Functional Programming by Retraction: Operational Semantics | 1-gen-1988 | Bellia, Marco | |
Logic and Functional Programming by Retractions | 1-gen-1988 | Bellia, Marco | |
Rewriting on cyclic structures: Equivalence between the operational and the categorical description | 1-gen-1999 | Corradini, Andrea; Gadducci, Fabio |
Mostra risultati da 2 a 4 di 4
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile